#ifndef BASE_TIMER_H
#define BASE_TIMER_H

void base_timer_init(void);
void base_timer_irq_callback(void);

#endif
